covariant functor

协变函子